DisCSP.CSPLexerParser
Class Parser

java.lang.Object
  DisCSP.CSPLexerParser.Parser

public class Parser

extends java.lang.Object

Field Summary

(package private) java.lang.String	current
(package private) Lexer	lexer

Constructor Summary

Parser(Lexer s)
Costruttore di Parser

Method Summary

ConstraintProblem	parseConstraintProblem() Controlla la sintassi di un constraint problem
DisConstraintProblem	parseDisConstraintProblem() Controlla la sintassi di un distributed constraint problem
Domain	parseDomain() Controlla la sintassi di un dominio

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

lexer

Lexer lexer

current

java.lang.String current

Constructor Detail

Parser

public Parser(Lexer s)

Costruttore di Parser

Parameters:

s - il lexer da cui Parser riceverà i token correnti in input

Method Detail

parseConstraintProblem

public ConstraintProblem parseConstraintProblem()
                                         throws ParserException,
                                                LexerException,
                                                ExistentVarException,
                                                UnknownVariableException,
                                                NotBinaryConstrException

Controlla la sintassi di un constraint problem

Returns:

un ConstraintProblem

Throws:

ParserException

LexerException

ExistentVarException

UnknownVariableException

NotBinaryConstrException

parseDomain

public Domain parseDomain()
                   throws ParserException,
                          LexerException

Controlla la sintassi di un dominio

Returns:

Domain

Throws:

ParserException

LexerException

parseDisConstraintProblem

public DisConstraintProblem parseDisConstraintProblem()
                                               throws ParserException,
                                                      LexerException,
                                                      ExistentVarException,
                                                      UnknownVariableException,
                                                      NotBinaryConstrException

Controlla la sintassi di un distributed constraint problem

Returns:

DisConstraintProblem

Throws:

ParserException

LexerException

ExistentVarException

UnknownVariableException

NotBinaryConstrException